21. CSL'88 : 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988 : Proceedings
Author: E. Borger, H. Kleine Buning, M.M. Richter )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer science -- Mathematics,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
76
.
L28
Vol
.
385
22. CSL '88: 2nd Workshop on Computer Science Logic, Duisburg, FRG, October 3-7, 1988: proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Mathematics Congresses ، Computer science,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
76
.
9
.
M35
.
W67
1988
23. CSL'89 : 3rd Workshop on Computer Science Logic, Kaiserslautern, FRG, October 2-6, 1989 : Proceedings
Author: E. Borger, H. Kleine Buning, M.M. Richter )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer science -- Mathematics,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
76
.
L28
Vol
.
440
24. CSL '89: 3rd Workshop on Computer Science Logic, Kaiserslautern, FRG, October 2-6, 1989: proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: Mathematics Congresses ، Computer science,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
76
.
9
.
M35
.
W67
1989
25. CSL'87 : 1st Workshop on Computer Science Logic, Karlsruhe FRG, October 12-16, 1987 : Proceedings
Author: E. Borger, H. Kleine Buning, M.M. Richter )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computers,Congresses ، Electronic data processing,Congresses ، Logic, Symbolic and mathematical,، Computer science -- Mathematics
Classification :
QA
76
.
L28
Vol
.
329
26. Clausal form logic : an introduction to the logic of computer reasoning
Author: Richards, Tom.
Library: Library of Niroo Research Institue (Tehran)
Subject: ، Expert systems )Computer science(,، Artificial intelligence,، Logic, Symbolic and mathematical,، Reasoning
Classification :
QA
76
.
76
.
E95R53
1989
27. Coditional inference and logic for interlligent systems
Author: / I.R. Goodman, H.T. Nguyen and E.A. Walker
Library: Library of Economics (Tehran)
Subject: Expert systems (computer science),Artificial intelligence,Probabilities,Logic, Symbolic and mathematical
Classification :
QA
76
.
76
.
E95G67
1991
28. Computation, logic, philosophy : a collection of essays
Author: Wang, Hao
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Computer science-- Mathematics,، Logic, Symbolic and mathematical
Classification :
QA
76
.
9
.
M35
.
W35
1990
29. Computation, logic, philosophy :a collection of essays
Author: Wang, Hao
Library: Central Library and Documentation Center (Semnan)
Subject: Mathematics ، Computer science,، Logic, Symbolic and mathematical
Classification :
QA
76
.
9
.
M35
W35
1990
30. Computation, logic, philosophy : a collection of essays
Author: Wang, Hao, 1291-5991
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: ، Computer science -- Mathematics,، Logic, Symbolic and mathematical
Classification :
QA
76
.
9
.
M35W35
1990
31. Computer science Logic : 7th Workshop, CSL'93, Swansea, United Kingdom, September 13 - 17, 1993. Selected papers
Author: Egon Borger, Yuri Gurevich, Karl Meinke, )eds.(
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer science,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
76
.
L28
Vol
.
832
32. Computer science logic
Author: / Leszek Pacholski, Jerzy Tiuryn, eds
Library: Central Library and Document Center of Shahid Chamran University (Khuzestan)
Subject: Computer science- Congresses,Logic, Symbolic and mathematical- Congresses
Classification :
QA76
.
5
.
W64
1995
33. Computer science logic :
Author: Hans Kleine Büning (ed.).
Library: Center and Library of Islamic Studies in European Languages (Qom)
Subject: Computer science -- Congresses.,Computer science.,Logic, Symbolic and mathematical -- Congresses.
Classification :
QA75
.
5
H367
1996
34. Computer science logic : 9th International Workshop, CSL'95 : Annual Conference of the EACSL, Paderborn, Germany, September 22-29, 1995 : selected papers
Author: Hans Kleine Buning, ed.
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer science,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
76
.
L28
Vol
.
1092
35. Computer science logic : 5th Workshop, CSL '91, Berne, Switzerland, October 1991 : proceedings
Author:
Library: Central Library of Sharif University of Technology (Tehran)
Subject: ، Computer science-- Congresses,، Logic, Symbolic and mathematical-- Congresses
Classification :
QA
75
.
5
.
W624
1991
36. Computer science logic : 4th Workshop, CSL '90, Heidelberg, Germany, October 1-5, 1990 :proceedings
Author: E. Borger...]et al.[, eds
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer science,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
76
.
L28
Vol
.
533
37. Computer science logic : 6th Workshop, CSL'92, San Miniato, Italy, September 28-October 2, 1992 : selected papers
Author: E. Brger...]et al.[, eds
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer science,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
76
.
L28
Vol
.
702
38. Computer science logic : 5th Workshop, CSL'91 : proceedings
Author:
Library: Library of Institute for Research in Fundamental Sciences (Tehran)
Subject: Congresses ، Computer science,Congresses ، Logic, Symbolic and mathematical
Classification :
QA
76
.
L28
Vol
.
626
39. Computer science logic : 9th international workshop, CSL '95, Annual Conference of the EACSL, Paderborn, Germany, September 22-29, 1995 : selected papers
Author: Hans Kleine Buning, )ed.(
Library: Vali Asr University Central Library (Kerman)
Subject: Computer science - Congresses,Logic, Symbolic and mathematical - Congresses
Classification :
QA
75
.
5
.
W625
1995
40. Computer science logic : 9th international workshop, CSL '95, Annual Conference of the EACSL, Paderborn, Germany, September 22-29, 1995 : selected papers
Author: Hans Kleine Buning, )ed.(
Library: Vali Asr University Central Library (Kerman)
Subject: Computer science - Congresses,Logic, Symbolic and mathematical - Congresses
Classification :
QA
75
.
5
.
W625
1995
